[next] [prev] [prev-tail] [tail] [up]

2.2.4 Integrals 301 to 400

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 301

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 37 48 48 43 71 50 45

N.S.

1 1.00 0.80 1.04 1.04 0.93 1.54 1.09 0.98

time (sec)

N/A 0.015 0.006 0.556 0.277 2.011 0.372 0.665 0.092

Problem 302

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

56 56 44 55 55 50 194 64 52

N.S.

1 1.00 0.79 0.98 0.98 0.89 3.46 1.14 0.93

time (sec)

N/A 0.035 0.010 0.558 0.281 2.461 1.327 0.677 1.149

Problem 303

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

59 59 51 56 59 59 221 74 55

N.S.

1 1.00 0.86 0.95 1.00 1.00 3.75 1.25 0.93

time (sec)

N/A 0.038 0.010 0.554 0.276 1.943 1.932 0.602 0.095

Problem 304

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 68 70 73 87 236 93 73

N.S.

1 1.00 0.91 0.93 0.97 1.16 3.15 1.24 0.97

time (sec)

N/A 0.045 0.012 0.569 0.282 3.538 1.161 0.694 0.106

Problem 305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 93 84 86 95 103 279 104 89

N.S.

1 1.00 0.90 0.92 1.02 1.11 3.00 1.12 0.96

time (sec)

N/A 0.048 0.012 0.575 0.275 2.593 1.959 0.704 1.111

Problem 306

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

94 94 84 105 103 161 141 112 99

N.S.

1 1.00 0.89 1.12 1.10 1.71 1.50 1.19 1.05

time (sec)

N/A 0.068 0.034 0.553 0.286 5.164 0.493 0.812 1.090

Problem 307

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

84 84 64 91 85 136 110 88 81

N.S.

1 1.00 0.76 1.08 1.01 1.62 1.31 1.05 0.96

time (sec)

N/A 0.049 0.038 0.620 0.285 3.024 0.953 0.820 1.081

Problem 308

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 64 88 82 122 110 85 103

N.S.

1 1.00 0.83 1.14 1.06 1.58 1.43 1.10 1.34

time (sec)

N/A 0.034 0.027 0.564 0.278 3.248 0.331 0.910 0.109

Problem 309

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 42 79 61 81 46 63 46

N.S.

1 1.00 0.93 1.76 1.36 1.80 1.02 1.40 1.02

time (sec)

N/A 0.013 0.016 0.543 0.285 2.846 0.174 0.849 0.064

Problem 310

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

55 55 58 79 69 88 56 71 46

N.S.

1 1.00 1.05 1.44 1.25 1.60 1.02 1.29 0.84

time (sec)

N/A 0.011 0.010 0.532 0.283 3.726 0.146 0.623 1.067

Problem 311

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

84 84 65 101 83 143 231 94 82

N.S.

1 1.00 0.77 1.20 0.99 1.70 2.75 1.12 0.98

time (sec)

N/A 0.052 0.047 0.567 0.298 2.173 2.156 0.740 0.111

Problem 312

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 93 77 99 97 158 291 112 92

N.S.

1 1.00 0.83 1.06 1.04 1.70 3.13 1.20 0.99

time (sec)

N/A 0.068 0.058 0.566 0.287 3.036 1.886 0.888 1.107

Problem 313

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

108 108 91 116 119 193 311 139 116

N.S.

1 1.00 0.84 1.07 1.10 1.79 2.88 1.29 1.07

time (sec)

N/A 0.074 0.049 0.564 0.306 2.629 2.247 0.784 1.112

Problem 314

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

152 152 107 144 128 224 216 106 -1

N.S.

1 1.00 0.70 0.95 0.84 1.47 1.42 0.70 -0.01

time (sec)

N/A 0.087 0.201 0.635 0.285 2.707 9.021 0.707 0.000

Problem 315

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

127 127 101 120 107 206 192 93 -1

N.S.

1 1.00 0.80 0.94 0.84 1.62 1.51 0.73 -0.01

time (sec)

N/A 0.054 0.172 0.536 0.278 2.946 8.808 1.215 0.000

Problem 316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 87 96 86 175 165 81 -1

N.S.

1 1.00 0.84 0.92 0.83 1.68 1.59 0.78 -0.01

time (sec)

N/A 0.032 0.148 0.551 0.282 3.070 4.081 1.921 0.000

Problem 317

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 77 76 67 157 124 68 -1

N.S.

1 1.00 0.96 0.95 0.84 1.96 1.55 0.85 -0.01

time (sec)

N/A 0.017 0.128 0.543 0.281 2.758 4.998 1.432 0.000

Problem 318

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 68 54 45 128 70 55 52

N.S.

1 1.00 1.01 0.81 0.67 1.91 1.04 0.82 0.78

time (sec)

N/A 0.013 0.147 0.555 0.275 3.636 2.155 1.452 1.277

Problem 319

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

79 79 90 79 59 341 107 78 68

N.S.

1 1.00 1.14 1.00 0.75 4.32 1.35 0.99 0.86

time (sec)

N/A 0.040 0.179 0.549 0.267 4.699 4.438 0.969 1.361

Problem 320

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 88 103 59 333 124 102 89

N.S.

1 1.00 1.17 1.37 0.79 4.44 1.65 1.36 1.19

time (sec)

N/A 0.039 0.164 0.572 0.272 4.556 3.188 0.941 1.797

Problem 321

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 90 127 83 377 107 163 94

N.S.

1 1.00 1.12 1.59 1.04 4.71 1.34 2.04 1.18

time (sec)

N/A 0.041 0.256 0.628 0.289 5.726 3.284 0.689 1.867

Problem 322

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

71 71 75 84 72 142 92 143 55

N.S.

1 1.00 1.06 1.18 1.01 2.00 1.30 2.01 0.77

time (sec)

N/A 0.029 0.262 0.569 0.279 4.684 2.742 1.133 1.888

Problem 323

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

99 99 87 108 95 171 144 267 75

N.S.

1 1.00 0.88 1.09 0.96 1.73 1.45 2.70 0.76

time (sec)

N/A 0.044 0.342 0.563 0.285 3.607 4.847 0.815 2.094

Problem 324

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

122 122 100 128 114 190 173 267 95

N.S.

1 1.00 0.82 1.05 0.93 1.56 1.42 2.19 0.78

time (sec)

N/A 0.060 0.369 0.561 0.276 2.890 5.189 1.070 2.372

Problem 325

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

147 147 107 152 135 219 201 325 116

N.S.

1 1.00 0.73 1.03 0.92 1.49 1.37 2.21 0.79

time (sec)

N/A 0.079 0.454 0.565 0.279 2.672 9.392 0.929 2.704

Problem 326

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

175 175 126 160 147 272 366 130 -1

N.S.

1 1.00 0.72 0.91 0.84 1.55 2.09 0.74 -0.01

time (sec)

N/A 0.091 0.233 0.569 0.278 1.077 41.037 0.797 0.000

Problem 327

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

150 150 118 136 126 254 318 115 -1

N.S.

1 1.00 0.79 0.91 0.84 1.69 2.12 0.77 -0.01

time (sec)

N/A 0.063 0.228 0.553 0.285 2.518 39.755 1.209 0.000

Problem 328

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

127 127 107 112 105 223 287 103 -1

N.S.

1 1.00 0.84 0.88 0.83 1.76 2.26 0.81 -0.01

time (sec)

N/A 0.039 0.263 0.612 0.288 2.964 12.960 0.964 0.000

Problem 329

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

103 103 101 92 86 205 223 89 -1

N.S.

1 1.00 0.98 0.89 0.83 1.99 2.17 0.86 -0.01

time (sec)

N/A 0.021 0.221 0.570 0.281 2.654 12.522 1.070 0.000

Problem 330

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 87 70 61 176 219 76 54

N.S.

1 1.00 1.00 0.80 0.70 2.02 2.52 0.87 0.62

time (sec)

N/A 0.018 0.237 0.552 0.271 2.718 5.863 0.939 1.281

Problem 331

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

106 106 110 109 88 439 218 100 83

N.S.

1 1.00 1.04 1.03 0.83 4.14 2.06 0.94 0.78

time (sec)

N/A 0.061 0.300 0.540 0.275 2.974 13.599 1.013 1.403

Problem 332

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

108 108 111 133 88 411 184 124 86

N.S.

1 1.00 1.03 1.23 0.81 3.81 1.70 1.15 0.80

time (sec)

N/A 0.057 0.281 0.589 0.282 2.599 5.478 0.729 1.976

Problem 333

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

111 111 109 157 112 425 182 191 91

N.S.

1 1.00 0.98 1.41 1.01 3.83 1.64 1.72 0.82

time (sec)

N/A 0.055 0.351 0.563 0.274 2.810 5.877 1.106 2.205

Problem 334

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

109 109 109 181 136 426 202 211 -1

N.S.

1 1.00 1.00 1.66 1.25 3.91 1.85 1.94 -0.01

time (sec)

N/A 0.060 0.383 0.562 0.285 4.355 5.062 1.335 0.000

Problem 335

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

111 111 113 205 164 474 236 285 -1

N.S.

1 1.00 1.02 1.85 1.48 4.27 2.13 2.57 -0.01

time (sec)

N/A 0.060 0.552 0.655 0.275 4.144 7.091 0.998 0.000

Problem 336

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 93 100 122 113 190 199 232 73

N.S.

1 1.00 1.08 1.31 1.22 2.04 2.14 2.49 0.78

time (sec)

N/A 0.039 0.548 0.572 0.269 3.007 5.427 1.250 2.762

Problem 337

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

124 124 108 146 134 219 201 379 94

N.S.

1 1.00 0.87 1.18 1.08 1.77 1.62 3.06 0.76

time (sec)

N/A 0.053 0.668 0.584 0.285 1.239 8.600 1.937 3.207

Problem 338

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

147 147 120 166 153 238 575 379 150

N.S.

1 1.00 0.82 1.13 1.04 1.62 3.91 2.58 1.02

time (sec)

N/A 0.073 0.709 0.584 0.271 6.419 9.936 1.350 3.767

Problem 339

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

198 198 145 176 166 320 541 155 -1

N.S.

1 1.00 0.73 0.89 0.84 1.62 2.73 0.78 -0.01

time (sec)

N/A 0.105 0.359 0.551 0.271 2.835 148.333 1.577 0.000

Problem 340

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

173 173 137 152 145 302 469 140 -1

N.S.

1 1.00 0.79 0.88 0.84 1.75 2.71 0.81 -0.01

time (sec)

N/A 0.073 0.316 0.566 0.278 2.698 147.498 0.966 0.000

Problem 341

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

150 150 125 128 124 271 442 128 -1

N.S.

1 1.00 0.83 0.85 0.83 1.81 2.95 0.85 -0.01

time (sec)

N/A 0.047 0.313 0.562 0.271 2.230 30.832 1.087 0.000

Problem 342

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 118 108 105 253 354 114 -1

N.S.

1 1.00 0.94 0.86 0.83 2.01 2.81 0.90 -0.01

time (sec)

N/A 0.026 0.300 0.605 0.284 2.625 29.663 1.264 0.000

Problem 343

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

107 107 107 86 77 224 348 101 54

N.S.

1 1.00 1.00 0.80 0.72 2.09 3.25 0.94 0.50

time (sec)

N/A 0.022 0.360 0.536 0.271 3.470 9.939 2.123 1.340

Problem 344

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

132 132 130 139 119 539 323 125 101

N.S.

1 1.00 0.98 1.05 0.90 4.08 2.45 0.95 0.77

time (sec)

N/A 0.083 0.445 0.520 0.282 2.788 17.591 1.397 1.434

Problem 345

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

136 136 133 163 120 519 318 150 104

N.S.

1 1.00 0.98 1.20 0.88 3.82 2.34 1.10 0.76

time (sec)

N/A 0.083 0.400 0.551 0.285 1.873 5.607 1.660 2.231

Problem 346

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

141 141 132 187 143 535 279 219 111

N.S.

1 1.00 0.94 1.33 1.01 3.79 1.98 1.55 0.79

time (sec)

N/A 0.079 0.479 0.548 0.283 2.526 7.334 1.111 2.510

Problem 347

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 131 211 169 529 277 239 -1

N.S.

1 1.00 0.96 1.54 1.23 3.86 2.02 1.74 -0.01

time (sec)

N/A 0.076 0.559 0.551 0.268 3.960 4.611 1.177 0.000

Problem 348

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

143 143 132 235 198 534 299 316 -1

N.S.

1 1.00 0.92 1.64 1.38 3.73 2.09 2.21 -0.01

time (sec)

N/A 0.078 0.592 0.552 0.269 2.317 7.391 0.770 0.000

Problem 349

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 133 259 219 534 294 331 -1

N.S.

1 1.00 0.95 1.85 1.56 3.81 2.10 2.36 -0.01

time (sec)

N/A 0.085 0.625 0.598 0.275 4.015 6.266 1.417 0.000

Problem 350

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 133 283 243 574 299 397 -1

N.S.

1 1.00 0.95 2.02 1.74 4.10 2.14 2.84 -0.01

time (sec)

N/A 0.087 0.754 0.553 0.286 2.758 11.025 0.835 0.000

Problem 351

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

115 115 120 160 152 238 605 316 150

N.S.

1 1.00 1.04 1.39 1.32 2.07 5.26 2.75 1.30

time (sec)

N/A 0.050 0.712 0.544 0.275 2.533 11.166 0.935 4.390

Problem 352

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

149 149 127 184 173 267 609 491 168

N.S.

1 1.00 0.85 1.23 1.16 1.79 4.09 3.30 1.13

time (sec)

N/A 0.066 0.839 0.558 0.286 2.608 31.700 0.823 5.350

Problem 353

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

172 172 138 204 192 286 1202 491 189

N.S.

1 1.00 0.80 1.19 1.12 1.66 6.99 2.85 1.10

time (sec)

N/A 0.083 0.891 0.564 0.290 1.574 32.449 0.959 6.337

Problem 354

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

129 129 88 125 109 176 173 87 -1

N.S.

1 1.00 0.68 0.97 0.84 1.36 1.34 0.67 -0.01

time (sec)

N/A 0.073 0.190 0.524 0.274 2.402 3.398 0.741 0.000

Problem 355

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 77 101 88 158 150 74 -1

N.S.

1 1.00 0.74 0.97 0.85 1.52 1.44 0.71 -0.01

time (sec)

N/A 0.049 0.159 0.522 0.271 4.935 4.345 0.641 0.000

Problem 356

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 81 68 77 67 127 94 61 93

N.S.

1 1.00 0.84 0.95 0.83 1.57 1.16 0.75 1.15

time (sec)

N/A 0.027 0.178 0.612 0.281 3.039 1.928 0.646 1.640

Problem 357

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

56 56 58 56 47 109 70 50 82

N.S.

1 1.00 1.04 1.00 0.84 1.95 1.25 0.89 1.46

time (sec)

N/A 0.012 0.153 0.523 0.273 2.818 1.888 0.810 1.431

Problem 358

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

43 43 46 37 29 92 102 39 36

N.S.

1 1.00 1.07 0.86 0.67 2.14 2.37 0.91 0.84

time (sec)

N/A 0.009 0.136 0.522 0.270 3.525 0.567 0.711 1.333

Problem 359

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 66 52 33 273 99 58 42

N.S.

1 1.00 1.25 0.98 0.62 5.15 1.87 1.09 0.79

time (sec)

N/A 0.026 0.112 0.514 0.271 4.743 1.399 0.764 1.514

Problem 360

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

47 47 57 49 37 101 41 65 39

N.S.

1 1.00 1.21 1.04 0.79 2.15 0.87 1.38 0.83

time (sec)

N/A 0.022 0.122 0.534 0.277 2.821 1.167 0.673 1.370

Problem 361

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

72 72 65 69 56 123 66 146 58

N.S.

1 1.00 0.90 0.96 0.78 1.71 0.92 2.03 0.81

time (sec)

N/A 0.033 0.212 0.543 0.273 2.571 1.767 0.625 1.494

Problem 362

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

97 97 76 89 75 142 97 151 66

N.S.

1 1.00 0.78 0.92 0.77 1.46 1.00 1.56 0.68

time (sec)

N/A 0.048 0.250 0.534 0.273 2.370 2.840 0.577 1.644

Problem 363

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

122 122 88 113 96 171 153 241 86

N.S.

1 1.00 0.72 0.93 0.79 1.40 1.25 1.98 0.70

time (sec)

N/A 0.069 0.307 0.579 0.286 3.004 3.313 0.611 1.717

Problem 364

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

147 147 99 137 117 190 408 241 99

N.S.

1 1.00 0.67 0.93 0.80 1.29 2.78 1.64 0.67

time (sec)

N/A 0.087 0.359 0.594 0.271 2.891 3.473 0.610 1.788

Problem 365

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

105 105 84 122 107 217 144 83 -1

N.S.

1 1.00 0.80 1.16 1.02 2.07 1.37 0.79 -0.01

time (sec)

N/A 0.048 0.269 0.545 0.286 3.246 6.125 0.594 0.000

Problem 366

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 81 74 98 85 197 117 70 -1

N.S.

1 1.00 0.91 1.21 1.05 2.43 1.44 0.86 -0.01

time (sec)

N/A 0.028 0.247 0.543 0.271 4.335 4.517 0.576 0.000

Problem 367

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

66 66 61 74 64 164 83 58 61

N.S.

1 1.00 0.92 1.12 0.97 2.48 1.26 0.88 0.92

time (sec)

N/A 0.023 0.263 0.543 0.273 3.480 3.527 0.656 1.470

Problem 368

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

48 48 53 55 46 147 66 48 53

N.S.

1 1.00 1.10 1.15 0.96 3.06 1.38 1.00 1.10

time (sec)

N/A 0.012 0.235 0.517 0.273 5.462 4.142 0.553 1.216

Problem 369

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 28 27 32 31 35 46 23 24

N.S.

1 1.00 0.96 1.14 1.11 1.25 1.64 0.82 0.86

time (sec)

N/A 0.004 0.224 0.513 0.272 2.570 2.575 0.569 1.076

Problem 370

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

47 47 57 61 48 146 206 59 50

N.S.

1 1.00 1.21 1.30 1.02 3.11 4.38 1.26 1.06

time (sec)

N/A 0.025 0.208 0.600 0.271 3.521 3.549 0.668 1.433

Problem 371

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

70 70 71 82 68 169 235 96 70

N.S.

1 1.00 1.01 1.17 0.97 2.41 3.36 1.37 1.00

time (sec)

N/A 0.036 0.219 0.612 0.284 6.636 6.296 0.520 1.582

Problem 372

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 83 106 89 211 124 171 94

N.S.

1 1.00 0.87 1.12 0.94 2.22 1.31 1.80 0.99

time (sec)

N/A 0.053 0.318 0.551 0.272 1.427 4.228 0.599 1.734

Problem 373

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

120 120 96 130 110 232 311 203 95

N.S.

1 1.00 0.80 1.08 0.92 1.93 2.59 1.69 0.79

time (sec)

N/A 0.071 0.358 0.551 0.273 6.613 11.105 0.604 1.851

Problem 374

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

99 99 81 120 122 258 445 82 -1

N.S.

1 1.00 0.82 1.21 1.23 2.61 4.49 0.83 -0.01

time (sec)

N/A 0.042 0.432 0.574 0.274 2.487 12.291 0.695 0.000

Problem 375

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

79 79 72 97 102 239 400 70 -1

N.S.

1 1.00 0.91 1.23 1.29 3.03 5.06 0.89 -0.01

time (sec)

N/A 0.027 0.358 0.517 0.271 3.701 7.400 0.615 0.000

Problem 376

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 44 92 70 63 141 36 51

N.S.

1 1.00 0.83 1.74 1.32 1.19 2.66 0.68 0.96

time (sec)

N/A 0.014 0.366 0.511 0.288 3.560 5.195 0.654 1.135

Problem 377

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

50 47 32 72 51 49 95 26 34

N.S.

1 0.94 0.64 1.44 1.02 0.98 1.90 0.52 0.68

time (sec)

N/A 0.010 0.336 0.589 0.283 3.700 5.817 0.572 1.093

Problem 378

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

51 51 43 50 48 62 146 37 41

N.S.

1 1.00 0.84 0.98 0.94 1.22 2.86 0.73 0.80

time (sec)

N/A 0.007 0.352 0.513 0.287 3.206 4.426 0.591 1.088

Problem 379

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

76 76 79 98 80 239 840 82 80

N.S.

1 1.00 1.04 1.29 1.05 3.14 11.05 1.08 1.05

time (sec)

N/A 0.041 0.343 0.524 0.270 3.270 10.877 0.565 1.512

Problem 380

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 94 122 100 264 910 119 96

N.S.

1 1.00 0.90 1.17 0.96 2.54 8.75 1.14 0.92

time (sec)

N/A 0.055 0.376 0.571 0.277 3.505 9.574 0.658 1.688

Problem 381

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

129 129 102 146 122 307 1034 197 123

N.S.

1 1.00 0.79 1.13 0.95 2.38 8.02 1.53 0.95

time (sec)

N/A 0.076 0.460 0.578 0.308 2.772 9.565 0.558 1.734

Problem 382

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

71 71 55 71 65 86 486 53 59

N.S.

1 1.00 0.77 1.00 0.92 1.21 6.85 0.75 0.83

time (sec)

N/A 0.011 0.431 0.522 0.278 2.197 7.612 0.569 1.181

Problem 383

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 91 67 92 81 109 1360 68 74

N.S.

1 1.00 0.74 1.01 0.89 1.20 14.95 0.75 0.81

time (sec)

N/A 0.014 0.509 0.515 0.274 2.803 15.020 0.613 1.184

Problem 384

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 35 30 29 34 46 29 29

N.S.

1 1.00 0.78 0.67 0.64 0.76 1.02 0.64 0.64

time (sec)

N/A 0.008 0.021 0.243 0.275 2.538 0.709 0.472 0.049

Problem 385

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 35 30 29 34 46 29 29

N.S.

1 1.00 0.78 0.67 0.64 0.76 1.02 0.64 0.64

time (sec)

N/A 0.009 0.021 0.200 0.273 3.428 0.372 0.705 0.044

Problem 386

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 37 30 29 34 46 29 29

N.S.

1 1.00 0.82 0.67 0.64 0.76 1.02 0.64 0.64

time (sec)

N/A 0.009 0.023 0.206 0.275 2.527 0.215 0.617 0.044

Problem 387

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 35 30 29 32 46 29 29

N.S.

1 1.00 0.78 0.67 0.64 0.71 1.02 0.64 0.64

time (sec)

N/A 0.009 0.020 0.193 0.265 2.589 1.002 0.574 0.044

Problem 388

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

43 43 34 30 29 29 44 29 29

N.S.

1 1.00 0.79 0.70 0.67 0.67 1.02 0.67 0.67

time (sec)

N/A 0.008 0.019 0.143 0.292 2.263 0.107 0.558 0.043

Problem 389

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 33 30 29 29 42 29 29

N.S.

1 1.00 0.80 0.73 0.71 0.71 1.02 0.71 0.71

time (sec)

N/A 0.009 0.023 0.068 0.269 2.396 0.191 0.568 0.052

Problem 390

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 32 30 29 28 42 29 29

N.S.

1 1.00 0.78 0.73 0.71 0.68 1.02 0.71 0.71

time (sec)

N/A 0.008 0.028 0.072 0.276 2.959 0.217 0.592 1.055

Problem 391

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 33 30 30 29 42 30 29

N.S.

1 1.00 0.80 0.73 0.73 0.71 1.02 0.73 0.71

time (sec)

N/A 0.009 0.031 0.092 0.271 2.089 0.310 0.528 0.036

Problem 392

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

43 43 33 30 29 29 46 29 29

N.S.

1 1.00 0.77 0.70 0.67 0.67 1.07 0.67 0.67

time (sec)

N/A 0.009 0.032 0.071 0.286 3.071 0.497 0.625 1.053

Problem 393

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 60 54 53 58 80 53 53

N.S.

1 1.00 0.78 0.70 0.69 0.75 1.04 0.69 0.69

time (sec)

N/A 0.017 0.035 0.512 0.272 4.178 0.897 0.554 0.030

Problem 394

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 60 54 53 58 80 53 53

N.S.

1 1.00 0.78 0.70 0.69 0.75 1.04 0.69 0.69

time (sec)

N/A 0.017 0.034 0.502 0.263 2.124 0.600 0.558 0.027

Problem 395

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 54 54 53 58 80 53 53

N.S.

1 1.00 0.70 0.70 0.69 0.75 1.04 0.69 0.69

time (sec)

N/A 0.017 0.031 0.521 0.265 3.678 0.375 0.560 0.027

Problem 396

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 60 54 53 56 80 53 53

N.S.

1 1.00 0.78 0.70 0.69 0.73 1.04 0.69 0.69

time (sec)

N/A 0.017 0.033 0.509 0.273 4.818 1.295 0.588 0.030

Problem 397

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 59 54 53 53 78 53 53

N.S.

1 1.00 0.79 0.72 0.71 0.71 1.04 0.71 0.71

time (sec)

N/A 0.017 0.035 0.502 0.267 3.729 0.210 0.538 0.026

Problem 398

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 52 54 53 53 76 53 53

N.S.

1 1.00 0.71 0.74 0.73 0.73 1.04 0.73 0.73

time (sec)

N/A 0.017 0.046 0.558 0.281 4.944 0.319 0.539 0.029

Problem 399

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 51 54 53 53 76 53 54

N.S.

1 1.00 0.70 0.74 0.73 0.73 1.04 0.73 0.74

time (sec)

N/A 0.017 0.037 0.503 0.271 3.137 0.350 0.562 0.027

Problem 400

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 53 54 54 53 76 54 54

N.S.

1 1.00 0.73 0.74 0.74 0.73 1.04 0.74 0.74

time (sec)

N/A 0.017 0.037 0.525 0.278 4.071 0.448 0.632 0.051

[next] [prev] [prev-tail] [front] [up]